首页> 外文OA文献 >A formal modeling methodology of the French railway interlocking system via HCPN

【2h】

A formal modeling methodology of the French railway interlocking system via HCPN

机译：通过HCPN的法国铁路联锁系统的形式化建模方法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

14th International Conference on Railway Engineering Design and Optimization (COMPRAIL 2014), Rome, ITALIE, 24-/06/2014 - 26/06/2014

机译：第十四届铁路工程设计与优化国际会议（COMPRAIL 2014），意大利罗马，2014年6月24日至2014年6月26日

著录项

作者
SUN, Pengfei; Collart-Dutilleul, Simon; Bon, Philippe;
展开▼
作者单位

展开▼
年度 2014
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. A formal modeling method based on multiple composite scenarios analysis for railway station interlocking system [J] . Xi Wang, Cheng-tian OuYang, Pei-pei Li Journal of Physics: Conference Series . 2019,第3期

机译：基于多种复合场景分析的铁路联锁系统形式化建模方法
2. A formal safety framework of component-based distributed railway interlocking system [J] . Xinhong HEI, Sei TAKAHASHI, Hideo NAKAMURA, 電子情報通信学会技術研究報告. 安全性. Safety . 2006,第311期

机译：基于组件的分布式铁路联锁系统的正式安全框架
3. Formal modelling and verification of interlocking systems featuring sequential release [J] . Linh Hong Vu, Anne E. Haxthausen, Jan Peleska Science of Computer Programming . 2017,第pta2期

机译：具有顺序释放功能的联锁系统的正式建模和验证
4. A formal modeling methodology of the French railway interlocking system via HCPN [C] . P. Sun, S. Collart-Dutilleul, P. Bon International conference on railway engineering design and operation . 2014

机译：通过HCPN的法国铁路联锁系统的形式化建模方法
5. A methodology for formally modeling and analyzing software architecture of mobile agent systems. [D] . Ding, Junhua. 2004

机译：一种正式建模和分析移动代理系统软件体系结构的方法。
6. IV. Clinical Consultation Systems Medical Decision Support Systems and Clinical Research Data Bases: A. Medical Decision Support and Artificial Intelligence Methodologies: Automation of Formal Rules for Clinical Decision-Making Support Imbedded in an Information System [O] . R.H. Friedman, A.D. Frank 1981

机译：IV。临床咨询系统医疗决策支持系统和临床研究数据库：A.医疗决策支持和人工智能方法：信息系统中嵌入的临床决策支持形式规则的自动化
7. A formal modeling methodology of the French railway interlocking system via HCPN [O] . SUN, Pengfei, Collart-Dutilleul, Simon, Bon, Philippe 2014

机译：通过HCPN的法国铁路联锁系统的形式化建模方法
8. Computing Science. Formal Modelling of Railway Safety and Capacity. [R] . Iliasov, A., Romanovsky, A. 2015

机译：计算科学。铁路安全与能力的形式化建模。

A formal modeling methodology of the French railway interlocking system via HCPN

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅